Having the property that for
every
,
implies
.
, 
implies 
., implies .